【intuitionistic_logic】什么意思_英语intuitionistic_logic的翻译_音标_读音_用法_例句_在线翻译

Intuitionistic logic

[计] 直觉主义逻辑

例如，直觉主义逻辑(intuitionistic logic)对真值和逻辑联结词、逻辑演算的意义采取完全不同的理解，特别重视结构和证明在逻辑系统中的作用；自由逻辑(free logic)在假设...

基于2396个网页-相关网页

短语

更多收起网络短语

计算机科学技术 | 电子、通信与自动控制技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: Intuitionistic logic, sometimes more generally called constructive logic, is a system of symbolic logic that differs from classical logic by replacing the traditional concept of truth with the concept of constructive provability. For example, in classical logic, propositional formulae are always assigned a truth value from the two element set of trivial propositions \{\top, \bot\} ("true" and "false" respectively) regardless of whether we have direct evidence for either case.

以上来源于: WordNet

The paper gives a definition of intuitionistic fuzzy logic "negation" operators and also discusses some of its properties.

给出了直觉模糊逻辑非算子的定义，讨论了非算子的一些性质。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句